

class FolSemanticError(ValueError):
    pass

